lower bounds on communication complexity